#include<stdio.h>
main(){
short int v=-12345;
unsigned short uv=(unsigned short) v;
printf("v= %d, uv=%u\n",v,uv);
}
